SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi

Source URL: anil.recoil.org

• Computing
• Software
• System software
• Application programming interfaces
• Rename
• Symbolic link
• POSIX
• File system permissions
• Hard link
• File locking
• File system
• Tar

Handling oversampling in dynamic networks using link prediction? Benjamin Fish1,2 and Rajmonda S. Caceres2 1 University of Illinois at Chicago, Chicago, IL

Source URL: homepages.math.uic.edu

Lazily Analysing the Result of Abstracting “Counting Processes” Ahmed Rezine joint work with: Zeinab Ganjei, Petru Eles, Zebo Peng Link¨ oping University, Sweden

Source URL: pv.dibris.unige.it

No More 404s: Predicting Referenced Link Rot in Scholarly Articles for Pro-Active Archiving Ke Zhou*, Claire Grover**, Martin Klein#, Richard Tobin** * Yahoo Labs London, ** University of Edinburgh, #

Source URL: hiberlink.org

Making Reliable More Reliable: Expanding MINIX 3 with Link Aggregation Lazar Stričević University of Novi Sad

Source URL: www.minix3.org

• Computer architecture
• Computing
• Ethernet
• Software
• Link aggregation
• LACP
• Channel bonding
• Network switch
• MINIX
• Aggregation
• Iproute2
• MC-LAG

Individual Differences in Cognition: New methods for examining the Personality-Cognition link William Revelle, Joshua Wilt and Allen Rosenthal Northwestern University Abstract Traditional studies of cognitive ability hav

Source URL: personality-project.org

Compressive Phase Retrieval via Lifting Henrik Ohlsson†,* , Allen Y. Yang* , Roy Dong* , and S. Shankar Sastry* † Div. of Automatic Control, Department of Electrical Engineering, Link¨oping University, Sweden. Depar

Source URL: snowbird.djvuzone.org

PARTICLE METROPOLIS HASTINGS USING LANGEVIN DYNAMICS Johan Dahlin, Fredrik Lindsten, Thomas B. Sch¨on Division of Automatic Control, Link¨oping University, Link¨oping, Sweden. E-mail: {johan.dahlin,lindsten,schon}@isy

Source URL: users.isy.liu.se

60 GHz Indoor Networking through Flexible Beams: A Link-Level Profiling Sanjib Sur, Vignesh Venkateswaran, Xinyu Zhang, Parmesh Ramanathan {sur2, vvenkateswar}@wisc.edu, {xyzhang, parmesh}@ece.wisc.edu University of Wisc

Source URL: xyzhang.ece.wisc.edu

NLSR: Named-data Link State Routing Protocol A K M Mahmudul Hoque, Syed Obaid Amin, Adam Alyyan, Lan Wnag (University of Memphis) # Beichuan Zhang (University of Arizona)# Lixia Zhang (UCLA)#

Source URL: conferences.sigcomm.org